[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 93 101 109 492 0 140 1959

N.S.

1 1.00 1.00 1.09 1.17 5.29 0.00 1.51 21.06

time (sec)

N/A 0.088 0.593 0.347 0.530 0.456 0.000 0.447 15.227

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 74 75 74 419 0 109 72

N.S.

1 1.00 0.95 0.96 0.95 5.37 0.00 1.40 0.92

time (sec)

N/A 0.053 0.368 0.280 0.510 0.416 0.000 0.468 13.433

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 84 87 89 463 0 113 79

N.S.

1 1.00 0.97 1.00 1.02 5.32 0.00 1.30 0.91

time (sec)

N/A 0.040 0.288 0.290 0.516 0.430 0.000 0.399 13.426

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 130 155 103 133 588 0 179 132

N.S.

1 1.02 1.22 0.81 1.05 4.63 0.00 1.41 1.04

time (sec)

N/A 0.098 0.815 0.398 0.546 0.467 0.000 0.444 13.599

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 202 122 172 843 0 174 164

N.S.

1 1.00 1.25 0.75 1.06 5.20 0.00 1.07 1.01

time (sec)

N/A 0.136 0.881 0.430 0.513 0.473 0.000 0.453 14.398

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 134 158 234 950 0 224 2500

N.S.

1 1.00 0.91 1.07 1.58 6.42 0.00 1.51 16.89

time (sec)

N/A 0.187 1.812 0.337 0.546 0.472 0.000 0.556 17.957

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 97 109 158 683 0 152 149

N.S.

1 1.00 0.88 0.99 1.44 6.21 0.00 1.38 1.35

time (sec)

N/A 0.067 0.891 0.240 0.534 0.430 0.000 0.482 13.689

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 112 131 191 771 0 191 159

N.S.

1 1.00 0.85 1.00 1.46 5.89 0.00 1.46 1.21

time (sec)

N/A 0.102 0.957 0.359 0.519 0.460 0.000 0.481 13.854

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 125 148 211 843 0 211 176

N.S.

1 1.00 0.87 1.03 1.47 5.85 0.00 1.47 1.22

time (sec)

N/A 0.105 0.845 0.382 0.549 0.430 0.000 0.450 13.817

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 214 160 270 1003 0 232 251

N.S.

1 1.00 1.09 0.82 1.38 5.12 0.00 1.18 1.28

time (sec)

N/A 0.176 1.157 0.518 0.504 0.470 0.000 0.470 15.241

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 201 230 378 1361 0 344 339

N.S.

1 1.00 0.98 1.12 1.83 6.61 0.00 1.67 1.65

time (sec)

N/A 0.204 0.978 0.468 0.560 0.450 0.000 0.521 15.436

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

279 279 312 336 588 2017 0 524 450

N.S.

1 1.00 1.12 1.20 2.11 7.23 0.00 1.88 1.61

time (sec)

N/A 0.362 1.282 0.460 0.542 0.553 0.000 0.425 16.104

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 29 33 10 57 0 25 18

N.S.

1 1.00 2.64 3.00 0.91 5.18 0.00 2.27 1.64

time (sec)

N/A 0.016 0.054 3.618 0.499 0.414 0.000 0.444 13.377

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 53 51 25 71 0 25 -1

N.S.

1 1.00 1.77 1.70 0.83 2.37 0.00 0.83 -0.03

time (sec)

N/A 0.018 0.035 5.515 0.561 0.413 0.000 0.471 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 39 57 11 94 0 48 -1

N.S.

1 1.00 2.60 3.80 0.73 6.27 0.00 3.20 -0.07

time (sec)

N/A 0.018 0.068 5.330 0.518 0.382 0.000 0.781 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 36 32 31 40 0 84 -1

N.S.

1 1.00 0.68 0.60 0.58 0.75 0.00 1.58 -0.02

time (sec)

N/A 0.034 0.015 2.796 0.562 0.381 0.000 0.479 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 26 24 17 26 0 57 -1

N.S.

1 1.00 0.76 0.71 0.50 0.76 0.00 1.68 -0.03

time (sec)

N/A 0.022 0.008 3.223 0.572 0.387 0.000 0.431 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 15 6 15 0 27 46

N.S.

1 1.00 1.00 1.15 0.46 1.15 0.00 2.08 3.54

time (sec)

N/A 0.015 0.004 1.236 0.576 0.399 0.000 0.445 0.216

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 46 20 38 65 0 0 -1

N.S.

1 1.00 2.88 1.25 2.38 4.06 0.00 0.00 -0.06

time (sec)

N/A 0.017 0.015 0.138 0.608 0.420 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 91 70 304 40 0 47 -1

N.S.

1 1.00 2.17 1.67 7.24 0.95 0.00 1.12 -0.02

time (sec)

N/A 0.023 0.044 6.525 0.628 0.401 0.000 0.489 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 72 89 933 49 0 129 -1

N.S.

1 1.00 1.18 1.46 15.30 0.80 0.00 2.11 -0.02

time (sec)

N/A 0.031 0.117 7.029 0.856 0.427 0.000 0.519 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 119 311 186 501 0 131 -1

N.S.

1 1.00 0.95 2.49 1.49 4.01 0.00 1.05 -0.01

time (sec)

N/A 0.088 0.296 7.186 0.540 0.660 0.000 0.765 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 93 182 74 433 0 83 -1

N.S.

1 1.00 1.19 2.33 0.95 5.55 0.00 1.06 -0.01

time (sec)

N/A 0.039 0.183 7.556 0.537 0.498 0.000 0.880 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 99 174 139 1158 0 0 -1

N.S.

1 1.00 1.19 2.10 1.67 13.95 0.00 0.00 -0.01

time (sec)

N/A 0.059 0.081 10.362 0.529 0.603 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 100 227 0 338 0 0 -1

N.S.

1 1.00 1.19 2.70 0.00 4.02 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.184 8.167 0.000 0.453 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 127 379 0 520 0 962 -1

N.S.

1 1.00 0.89 2.65 0.00 3.64 0.00 6.73 -0.01

time (sec)

N/A 0.088 0.336 10.091 0.000 0.569 0.000 0.639 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 199 413 0 39 0 0 -1

N.S.

1 1.00 0.77 1.59 0.00 0.15 0.00 0.00 -0.00

time (sec)

N/A 0.221 0.946 6.938 0.000 0.106 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 159 266 0 30 0 0 -1

N.S.

1 1.00 1.00 1.67 0.00 0.19 0.00 0.00 -0.01

time (sec)

N/A 0.135 0.558 5.968 0.000 0.109 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 61 71 0 18 0 0 -1

N.S.

1 1.00 1.20 1.39 0.00 0.35 0.00 0.00 -0.02

time (sec)

N/A 0.023 0.069 3.543 0.000 0.099 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 137 156 0 626 0 0 -1

N.S.

1 1.00 0.79 0.90 0.00 3.60 0.00 0.00 -0.01

time (sec)

N/A 0.109 0.414 6.203 0.000 0.135 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 188 342 0 947 0 0 -1

N.S.

1 1.00 0.80 1.46 0.00 4.05 0.00 0.00 -0.00

time (sec)

N/A 0.169 2.128 6.832 0.000 0.172 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 152 446 262 579 0 197 -1

N.S.

1 1.00 0.90 2.64 1.55 3.43 0.00 1.17 -0.01

time (sec)

N/A 0.103 0.530 9.453 0.501 1.426 0.000 0.859 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 113 309 112 495 0 128 -1

N.S.

1 1.00 0.99 2.71 0.98 4.34 0.00 1.12 -0.01

time (sec)

N/A 0.052 0.269 8.800 0.495 0.646 0.000 0.791 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 141 255 189 1282 0 0 -1

N.S.

1 1.00 1.16 2.09 1.55 10.51 0.00 0.00 -0.01

time (sec)

N/A 0.096 0.625 10.338 0.540 0.700 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 147 287 0 1449 0 0 -1

N.S.

1 1.00 1.15 2.24 0.00 11.32 0.00 0.00 -0.01

time (sec)

N/A 0.098 0.779 11.000 0.000 0.726 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 114 376 0 484 0 960 -1

N.S.

1 1.00 0.89 2.94 0.00 3.78 0.00 7.50 -0.01

time (sec)

N/A 0.089 0.439 10.384 0.000 0.588 0.000 0.763 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 161 565 0 752 0 1708 -1

N.S.

1 1.00 0.82 2.87 0.00 3.82 0.00 8.67 -0.01

time (sec)

N/A 0.113 0.804 12.996 0.000 1.230 0.000 0.913 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 249 602 0 68 0 0 -1

N.S.

1 1.00 0.77 1.85 0.00 0.21 0.00 0.00 -0.00

time (sec)

N/A 0.301 1.758 7.951 0.000 0.139 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 201 429 0 47 0 0 -1

N.S.

1 1.00 0.92 1.97 0.00 0.22 0.00 0.00 -0.00

time (sec)

N/A 0.201 0.936 6.720 0.000 0.110 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 156 266 0 18 0 0 -1

N.S.

1 1.00 1.01 1.73 0.00 0.12 0.00 0.00 -0.01

time (sec)

N/A 0.118 0.531 6.493 0.000 0.109 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 141 174 0 45 0 0 -1

N.S.

1 1.00 0.78 0.96 0.00 0.25 0.00 0.00 -0.01

time (sec)

N/A 0.128 0.917 6.458 0.000 0.132 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 201 408 0 969 0 0 -1

N.S.

1 1.00 0.85 1.73 0.00 4.11 0.00 0.00 -0.00

time (sec)

N/A 0.195 2.970 8.539 0.000 0.163 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 194 437 0 59 0 0 -1

N.S.

1 1.00 0.92 2.08 0.00 0.28 0.00 0.00 -0.00

time (sec)

N/A 0.189 0.966 7.260 0.000 0.123 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 105 186 79 438 0 91 -1

N.S.

1 1.00 1.27 2.24 0.95 5.28 0.00 1.10 -0.01

time (sec)

N/A 0.063 0.215 7.691 0.569 0.506 0.000 0.911 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 53 99 25 370 0 83 -1

N.S.

1 1.00 1.29 2.41 0.61 9.02 0.00 2.02 -0.02

time (sec)

N/A 0.030 0.085 4.662 0.554 0.510 0.000 0.937 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 48 112 115 219 0 0 -1

N.S.

1 1.00 1.17 2.73 2.80 5.34 0.00 0.00 -0.02

time (sec)

N/A 0.047 0.115 5.590 0.583 0.478 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 102 231 0 347 0 0 -1

N.S.

1 1.00 1.15 2.60 0.00 3.90 0.00 0.00 -0.01

time (sec)

N/A 0.068 0.221 9.964 0.000 0.488 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 163 268 0 59 0 0 -1

N.S.

1 1.00 0.79 1.30 0.00 0.29 0.00 0.00 -0.00

time (sec)

N/A 0.132 0.607 6.522 0.000 0.116 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 78 93 0 48 0 0 -1

N.S.

1 1.00 0.70 0.84 0.00 0.43 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.165 4.925 0.000 0.100 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 60 60 0 305 0 0 -1

N.S.

1 1.00 1.18 1.18 0.00 5.98 0.00 0.00 -0.02

time (sec)

N/A 0.023 0.068 0.200 0.000 0.121 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 138 140 0 643 0 0 -1

N.S.

1 1.00 0.78 0.79 0.00 3.63 0.00 0.00 -0.01

time (sec)

N/A 0.119 0.356 6.598 0.000 0.134 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 195 354 0 955 0 0 -1

N.S.

1 1.00 0.80 1.45 0.00 3.91 0.00 0.00 -0.00

time (sec)

N/A 0.176 2.634 7.662 0.000 0.148 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 96 156 86 564 0 113 -1

N.S.

1 1.00 1.22 1.97 1.09 7.14 0.00 1.43 -0.01

time (sec)

N/A 0.068 0.299 12.941 0.548 0.584 0.000 1.002 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 41 31 34 57 0 53 119

N.S.

1 1.00 1.21 0.91 1.00 1.68 0.00 1.56 3.50

time (sec)

N/A 0.030 0.082 4.879 0.293 0.446 0.000 0.626 15.179

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 93 165 174 422 0 0 -1

N.S.

1 1.00 1.18 2.09 2.20 5.34 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.230 12.068 0.538 0.496 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 134 274 0 634 0 520 -1

N.S.

1 1.00 1.00 2.04 0.00 4.73 0.00 3.88 -0.01

time (sec)

N/A 0.109 0.480 16.321 0.000 0.687 0.000 0.723 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

274 274 197 405 0 92 0 0 -1

N.S.

1 1.00 0.72 1.48 0.00 0.34 0.00 0.00 -0.00

time (sec)

N/A 0.213 0.888 7.307 0.000 0.136 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 136 241 0 81 0 0 -1

N.S.

1 1.00 0.67 1.19 0.00 0.40 0.00 0.00 -0.00

time (sec)

N/A 0.131 0.470 8.819 0.000 0.113 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 138 191 0 780 0 0 -1

N.S.

1 1.00 0.90 1.25 0.00 5.10 0.00 0.00 -0.01

time (sec)

N/A 0.133 0.292 8.408 0.000 0.165 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 90 103 0 938 0 0 -1

N.S.

1 1.00 0.89 1.02 0.00 9.29 0.00 0.00 -0.01

time (sec)

N/A 0.040 0.100 6.241 0.000 0.178 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 170 199 0 1075 0 0 -1

N.S.

1 1.00 0.72 0.85 0.00 4.57 0.00 0.00 -0.00

time (sec)

N/A 0.179 0.891 8.790 0.000 0.184 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 133 243 301 885 0 338 -1

N.S.

1 1.00 0.97 1.77 2.20 6.46 0.00 2.47 -0.01

time (sec)

N/A 0.095 0.546 18.345 0.493 0.872 0.000 0.775 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 64 56 129 137 0 149 176

N.S.

1 1.00 0.79 0.69 1.59 1.69 0.00 1.84 2.17

time (sec)

N/A 0.059 0.210 5.906 0.277 0.539 0.000 0.698 20.866

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 60 55 67 134 0 137 159

N.S.

1 1.00 0.82 0.75 0.92 1.84 0.00 1.88 2.18

time (sec)

N/A 0.037 0.125 6.435 0.282 0.495 0.000 0.615 20.795

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 127 249 322 752 0 0 -1

N.S.

1 1.00 0.98 1.93 2.50 5.83 0.00 0.00 -0.01

time (sec)

N/A 0.099 0.411 19.383 0.517 0.672 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

285 285 192 698 0 130 0 0 -1

N.S.

1 1.00 0.67 2.45 0.00 0.46 0.00 0.00 -0.00

time (sec)

N/A 0.218 1.416 9.638 0.000 0.147 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 182 623 0 1432 0 0 -1

N.S.

1 1.00 0.68 2.32 0.00 5.32 0.00 0.00 -0.00

time (sec)

N/A 0.182 1.128 10.108 0.000 0.216 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 174 483 0 1400 0 0 -1

N.S.

1 1.00 0.79 2.19 0.00 6.33 0.00 0.00 -0.00

time (sec)

N/A 0.192 0.998 7.925 0.000 0.221 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 172 547 0 1531 0 0 -1

N.S.

1 1.00 0.77 2.45 0.00 6.87 0.00 0.00 -0.00

time (sec)

N/A 0.169 0.932 9.721 0.000 0.215 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 214 527 0 1719 0 0 -1

N.S.

1 1.00 0.66 1.64 0.00 5.34 0.00 0.00 -0.00

time (sec)

N/A 0.264 1.566 10.813 0.000 0.250 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 113 0 0 29 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.24 0.00 0.00 -0.01

time (sec)

N/A 0.078 0.333 0.467 0.000 0.445 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 98 0 0 45 0 0 -1

N.S.

1 1.00 0.45 0.00 0.00 0.20 0.00 0.00 -0.00

time (sec)

N/A 0.151 0.387 1.115 0.000 0.440 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 98 0 0 36 0 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.27 0.00 0.00 -0.01

time (sec)

N/A 0.079 0.272 0.647 0.000 0.427 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 74 0 0 25 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.34 0.00 0.00 -0.01

time (sec)

N/A 0.034 0.135 0.158 0.000 0.405 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

83 83 0 0 0 25 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.30 0.00 0.00 -0.01

time (sec)

N/A 0.053 15.145 0.322 0.000 0.408 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

83 83 0 0 0 27 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.33 0.00 0.00 -0.01

time (sec)

N/A 0.056 100.583 0.315 0.000 0.430 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

83 83 0 0 0 27 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.33 0.00 0.00 -0.01

time (sec)

N/A 0.058 121.735 0.344 0.000 0.454 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 102 0 0 39 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.39 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.388 1.385 0.000 0.426 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 240 0 0 30 0 0 -1

N.S.

1 1.00 2.42 0.00 0.00 0.30 0.00 0.00 -0.01

time (sec)

N/A 0.115 0.504 1.029 0.000 0.405 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

97 97 0 0 0 27 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.28 0.00 0.00 -0.01

time (sec)

N/A 0.069 6.381 0.284 0.000 0.419 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

101 101 0 0 0 27 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.27 0.00 0.00 -0.01

time (sec)

N/A 0.066 11.367 0.323 0.000 0.431 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

335 335 219 221 0 21338 0 0 1978

N.S.

1 1.00 0.65 0.66 0.00 63.70 0.00 0.00 5.90

time (sec)

N/A 0.501 0.369 0.685 0.000 1.684 0.000 0.000 15.241

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

273 273 255 141 0 29175 0 0 1962

N.S.

1 1.00 0.93 0.52 0.00 106.87 0.00 0.00 7.19

time (sec)

N/A 0.386 0.202 0.702 0.000 1.474 0.000 0.000 14.466

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 140 104 0 29221 0 0 1672

N.S.

1 1.00 0.54 0.40 0.00 112.82 0.00 0.00 6.46

time (sec)

N/A 0.327 0.137 0.583 0.000 1.442 0.000 0.000 14.901

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 172 78 0 18879 0 0 652

N.S.

1 1.00 0.64 0.29 0.00 70.71 0.00 0.00 2.44

time (sec)

N/A 0.192 0.117 0.638 0.000 1.501 0.000 0.000 16.121

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 264 96 0 29139 0 0 1439

N.S.

1 1.00 1.00 0.36 0.00 110.38 0.00 0.00 5.45

time (sec)

N/A 0.258 0.158 0.753 0.000 4.000 0.000 0.000 15.656

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 181 136 0 29431 0 0 1573

N.S.

1 1.00 0.63 0.47 0.00 102.55 0.00 0.00 5.48

time (sec)

N/A 0.305 0.294 0.963 0.000 14.643 0.000 0.000 15.035

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-2) C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

344 344 290 196 0 21564 0 0 1560

N.S.

1 1.00 0.84 0.57 0.00 62.69 0.00 0.00 4.53

time (sec)

N/A 0.375 1.414 1.066 0.000 104.912 0.000 0.000 14.598

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 164 143 0 29350 0 0 1800

N.S.

1 1.00 0.56 0.49 0.00 100.17 0.00 0.00 6.14

time (sec)

N/A 0.301 0.204 0.707 0.000 1.531 0.000 0.000 14.584

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 186 104 0 21185 0 0 665

N.S.

1 1.00 0.66 0.37 0.00 75.39 0.00 0.00 2.37

time (sec)

N/A 0.324 0.180 0.687 0.000 1.570 0.000 0.000 15.072

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 231 76 0 25253 0 0 590

N.S.

1 1.00 0.96 0.32 0.00 105.22 0.00 0.00 2.46

time (sec)

N/A 0.198 0.140 0.580 0.000 1.449 0.000 0.000 15.652

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 126 83 0 25429 0 0 609

N.S.

1 1.00 0.51 0.34 0.00 103.79 0.00 0.00 2.49

time (sec)

N/A 0.197 0.087 0.523 0.000 1.425 0.000 0.000 15.884

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 196 114 0 21243 0 0 697

N.S.

1 1.00 0.70 0.41 0.00 75.60 0.00 0.00 2.48

time (sec)

N/A 0.337 0.204 0.761 0.000 1.552 0.000 0.000 14.417

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-2) C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

296 296 333 162 0 29423 0 0 1503

N.S.

1 1.00 1.12 0.55 0.00 99.40 0.00 0.00 5.08

time (sec)

N/A 0.276 1.508 0.903 0.000 4.090 0.000 0.000 16.383

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 228 137 0 872 0 0 1067

N.S.

1 1.00 1.29 0.77 0.00 4.93 0.00 0.00 6.03

time (sec)

N/A 0.179 0.338 0.476 0.000 0.481 0.000 0.000 14.439

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 310 110 0 849 0 0 1119

N.S.

1 1.00 2.09 0.74 0.00 5.74 0.00 0.00 7.56

time (sec)

N/A 0.124 0.216 0.425 0.000 0.479 0.000 0.000 14.269

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 198 99 0 815 0 0 1001

N.S.

1 1.00 1.43 0.72 0.00 5.91 0.00 0.00 7.25

time (sec)

N/A 0.127 0.168 0.504 0.000 0.473 0.000 0.000 14.260

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 285 83 0 703 0 166 976

N.S.

1 1.00 2.48 0.72 0.00 6.11 0.00 1.44 8.49

time (sec)

N/A 0.081 0.128 0.344 0.000 0.460 0.000 0.721 0.509

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 183 87 0 703 0 183 361

N.S.

1 1.00 1.46 0.70 0.00 5.62 0.00 1.46 2.89

time (sec)

N/A 0.071 0.127 0.391 0.000 0.448 0.000 0.980 15.111

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 318 119 0 773 0 0 2031

N.S.

1 1.00 2.34 0.88 0.00 5.68 0.00 0.00 14.93

time (sec)

N/A 0.125 0.188 0.516 0.000 0.508 0.000 0.000 15.361

[next] [prev] [prev-tail] [front] [up]